IEEE Symposium on Logic in Computer Science - PDFSEARCH.IO - Document Search Engine

IEEE Symposium on Logic in Computer Science
Results: 26

#	Item
1	23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡ Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:58
2	Program of the Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE 21–24 June 2011, Toronto, Ontario, Canada The symposium is sponsored by the IEEE Computer Society’s Technical Committee on Mathematical Add to Reading List Source URL: lics.rwth-aachen.de - Date: 2012-10-30 04:29:34
3	2015 IEEE Symposium on Security and Privacy TinyGarble: Highly Compressed and Scalable Sequential Garbled Circuits Ebrahim M. Songhori∗ , Siam U. Hussain∗ , Ahmad-Reza Sadeghi† , Thomas Schneider† , Farinaz Kous Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2015-05-11 16:43:20 Electronic engineering Digital electronics Electronics Electronic design automation Electronic design Logic in computer science Cryptographic protocols Garbled circuit Boolean circuit Sequential logic Logic synthesis Standard cell
4	Call for Workshop Proposals LICS 2011 26th IEEE Symposium on Logic In Computer Science http://www2.informatik.hu-berlin.de/lics/lics11/ The twenty-sith IEEE Symposium on Logic In Computer Science (LICSwill be held Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2012-10-30 04:29:33 Logic in computer science Symposium on Logic in Computer Science
5	CALL FOR PAPERS Twenty-Second Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS10th – 14th July 2007, Wrocław, Poland http://www.informatik.hu-berlin.de/lics/lics07/ Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2012-10-30 04:29:28
6	23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡ Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:58
7	Gundersen, T., Heijltjes, W. and Parigot, MAtomic lambda-calculus : A typed lambda-calculus with explicit sharing. In: Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, pp. 31 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2014-06-28 10:09:38
8	Mukund Raghothaman Wednesday 8th October, 2014 Contact Details Department of Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-08 01:07:27 Computer science Rajeev Alur Formal sciences Automata theory Model checking IEEE Symposium on Logic in Computer Science Formal methods Formal verification Symposium on Theory of Computing Theoretical computer science Applied mathematics Logic in computer science
9	Report on CSL-LICS 2014 from the Program Committee Chairs Thomas Henzinger (IST, Austria) and Dale Miller (INRIA, France) Vienna, July 2014 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2014-07-23 09:38:07 Logic in computer science IEEE Symposium on Logic in Computer Science Kleene award Association for Computing Machinery Federated Logic Conference ACM SIGACT Theoretical computer science Computer science Applied mathematics
10	Call for Papers STACS 2009 26th International Symposium on Theoretical Aspects of Computer Science February 26-28, 2009; Freiburg, Germany Program Committee Susanne Albers, U Freiburg (co-chair) Add to Reading List Source URL: stacs2009.informatik.uni-freiburg.de Language: English - Date: 2008-05-21 04:30:44 Computer science Academic publishing University of Freiburg Susanne Albers Proceedings IEEE Symposium on Logic in Computer Science Electronic submission CONFER Theoretical computer science Symposium on Theoretical Aspects of Computer Science Academia

UPDATE